for modman7.2 or later